summaryrefslogtreecommitdiff
path: root/src/parser.h
blob: d50951b7e7e4ba695b993b582609185a1858a443 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
#ifndef PARSER_H
#define PARSER_H

#include <bu/list.h>
#include <bu/hash.h>
#include "token.h"
#include "number.h"

namespace Bu
{
    class Stream;
};

class Lexer;

/**
 *
 * expr: literal
 *     | variable
 *     | expr '+' expr
 *     | expr '-' expr
 *     | expr '*' expr
 *     | expr '/' expr
 *     | '(' expr ')'
 *     | '-' expr
 *     | variable '=' expr
 *     ;
 *
 * -----
 * 
 * expr': literal
 *      | variable
 *      | '(' expr ')'
 *      | '-' expr'
 *      ;
 *
 * expr: expr' '+' expr
 *     | expr' '-' expr
 *     | expr' '*' expr
 *     | expr' '/' expr
 *     | expr'
 *     | variable '=' expr
 *     ;
 */
class Parser
{
public:
    Parser( Lexer &lex, Bu::Stream &rOut );
    virtual ~Parser();

    void parse();
    Number getVariable( const Bu::String &sName );
    void setVariable( const Bu::String &sName, const Number &rValue );

private:
    void expr();
    void exprP();

private:
    void unwind();
    int reqTokens( Token::Type eType );
    int getPriority( Token::Type eType );
    Number &deref( Token &t );

private:
    Lexer &lex;
    Bu::Stream &rOut;
    typedef Bu::List<Token> TokenStack;
    typedef Bu::Hash<Bu::String, Number> VarHash;
    TokenStack tsStack;
//    TokenStack tsNonTerminal;
    Number nZero;
    VarHash hVars;
};

#endif